Formal system

Distributed Operating System Formal System Model ( DOSFS ) consists of the grammar DOSFSG and the semantics DOSFSS .

分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。

In order to make the software architectural design more scientific , an appropriate formal system is essential .

为了使软件体系结构的设计有更科学的理论基础，一个合适的形式化系统是必不可少的。

The general formal system of comparative static and its application in economic analysis

比较静态学一般形式体系及其在经济分析中的应用

Researches in distributed operating system formal system model

分布式操作系统形式化生成系统模型的研究

In a social system structure , the system includes the formal system and the informal one .

在一个社会的制度结构中，制度包括正式制度和非正式制度。

This dissertation presents a formal system of cooperation .

提出了一种描述主体协作的形式系统。

But within this formal system many companies cannot rely on useful boards .

但在这种合乎规范的制度下，许多公司无法依靠有帮助的董事会。

On the Consistency of the Formal System Describing Mathematical Objects of Computer Science

关于描述计算机科学数学对象的形式系统的无矛盾性问题

In developed countries , reverse mortgage has been established as a formal system .

在国外，反向抵押贷款已经被作为一种制度确立下来。

Therefore no formal system is a true axiomatization of full number theory .

因此，没有正式的系统是一个真正的公理化充分一些理论。

Currently , the project performance is considering more about the project governance formal system set .

目前，对工程项目绩效的考虑多基于项目治理理论中正式制度的设置。

Interface Automata & A Formal System for Components Composition

接口自动机&一种用于组件组合的形式系统

Incompleteness of formal system The environment condition for the whole country was still serious .

形式系统的不完全性全国环境形势依然严峻。

The legal community as a formal system plays a great influence role in the development of society .

法律作为社会的正式制度供给，对社会发展起着极大的影响和促进作用。

Law is an important part of formal system , and efficient law can provide effective incentive mechanism .

摘要法律是正式制度的重要组成部分，有效率的法律能提供有效的激励机制。

Is there a formal system for investigating failures ?

是否有一个正式的故障调查体系？

The maintenance of social order is the result of both in formal system and informal system common effect .

任何社会秩序的维护都是正式制度与非正式制度共同作用的结果。

Ideology is a vital informal arrangement and can reduce operation cost of formal system ;

意识形态是重要的非正式制度安排，它可以降低正式制度的运行成本；

Does the Supplier have a formal system for review and validation of design input requirements ?

供应商是否有一个关于设计输入要求的审核与确认体系？

Political connection is an alternative mechanism of formal system , it has attracted academic attention .

政治关系作为正式制度的一种替代机制，已经引起学术界的关注。

Implication problem and formal system of join dependency

连接依赖的蕴涵问题及其推导公理系统

And norm system is divided into unrecorded informal system and recorded formal system .

而把规范系统分为不成文的非正式的规范系统和成文的正式的规范系统两部分进行了分析。

Besides transformation of formal system , system innovation should also require corresponding change and improvement of informal system .

制度创新本身既包含正式制度的演化，也需要相应的非正式制度的变迁与联动。

Is there an adequate and formal system for receiving / verifying tools and equipment ?

是否有一个正式的充分有效的体系来接收/确认工具和设备？

We need a more formal system to ensure that they cannot be so easily brushed off .

我们需要一种更为正式的系统，以确保它们不会被轻忽。

In this paper , the formal system innovation includes : Formulation teachers ' flow law ; operating school by group .

本文提出的正式制度创新有：制定教师流动法，通过法律对教师流动进行科学、合理的规约；集团化办学，制定薄弱学校的改造政策。

The relation of inference between the formal system w and the formal system SW is also described .

描述了形式系统W与形式系统SW形式推理之间的关系。

The gender gap remains large , and billions of adults are still outside any formal system .

性别差异仍然巨大，数十亿成年人仍在任何正规体系的门外。

Based on system cost-benefit analysis of highway construction , the government finally made the grassroots innovation into a formal system .

而收费制度的产生是由地方政府在基于制度成本&收益分析的基础上，借助于制度学习机制，将基层群众的制度创新转化为正式制度。

First-order formal system k ~ and its completeness

一阶形式系统K~及其完备性